Исчисление
исчисление
основанный на четких правилах формальный аппарат оперирования со знаниями определенного вида, позволяющий дать точное описание некоторого класса задач, а для отдельных подклассов этого класса и алгоритм решения.
В математической логике понятие об И. подверглось уточнению и более строгой формализации. Логическое И. строится на базе некоторого формализеванного языка. Задается набор исходных символов, из которых с помощью четко определенных правил строятся формулы рассматриваемого И. Некоторые из этих формул выбираются в качестве аксиом, из которых с помощью правил преобразования получают новые формулы, называемые теоремами. После того как к И. добавляется интерпретация, придающая значение ее исходным символам и формулам, И. превращается в язык, описывающий некоторую предметную область (см.: Исчисление высказываний, Исчисление классов, Исчисление предикатов и т. п.).
1.
основанный на чётко сформулированных правилах формальный аппарат оперирования со знаниями определ. вида, позволяющий дать исчерпывающе точное описание нек-рого класса задач, а для нек-рых подклассов этого класса и алгоритмы решения. Примерами И. могут служить совокупность арифметич. правил оперирования с цифрами (т. е. числовыми знаками), «буквенное» И. элементарной алгебры, дифференциальное И., интегральное И. и др. ветви математич. анализа и теории функций. С развитием математич. логики возникла потребность в общей теории И. и в уточнении самого понятия И., к-рое подверглось более последоват. формализации. В большинстве случаев, однако, оказывается достаточным следующее (идущее от Гильберта) представление об И. Рассматривается нек-рый алфавит, из элементов к-рого, именуемых буквами, с помощью чётко сформулированных правил образования строятся формулы рассматриваемого И. (наз. также иногда словами или выражениями). Нек-рые из таких формул объявляются аксиомами, а из них с помощью правил преобразования (правил вывода) выводятся новые формулы, наз. теоремами данного И. Иногда термин « И.» относят лишь к словарной... Советский философский словарь
2.
— система правил оперирования со знаками, расширяющая возможности содержательного мышления в решении задач ив доказательстве суждений, выразимых средствами (на “языке”) данного И. Особенность И. состоит в том, что объекты, с к-рыми в нем оперируют, являются материальными предметами (цифры, буквы и др. знаки), практически не меняющимися в процессе применения к ним правил И. Исторически И. возникло и развилось в рамках математики (напр., дифференциальное и интегральное И. и др.); позже метод построения И. был распространен на логику, появились различные виды логического и логико-математического И. в связи с чем оформилась как наука математическая, или символическая, логика, в к-рой посредством построения И. выражаются логические формы. Представление определенных областей знания, особенно в дедуктивных науках, в виде И., строящегося на основе методов, разработанных в совр. логике, является наиболее последовательным типом формализации соответствующей области знания; эффективность такой формализации подтверждается практикой применения вычислительной техники, развитием кибернетики и информатики (Логистический... Философский энциклопедический словарь
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
